DEFINITION MODULE NumberIO;
FROM Files IMPORT File, FileState;
FROM SYSTEM IMPORT WORD;
(*
*    Copyright (c) 1985,1986,1987,1988,1989 by
*    ana-systems, Foster City, California.
*    All Rights Reserved.
*
*    This software is furnished under a license and may be used and copied
*    only  in accordance with  the  terms  of  such  license and  with the
*    inclusion of the above copyright notice.  This software or  any other
*    copies thereof may not be provided or otherwise made available to any
*    other  person.   No title to and ownership of the  software is  herby
*    transferred.
*
*    The information in this software is  subject to change without notice
*    and  should  not be construed as a commitment by ana-systems.   No
*    warranty is implied or expressed.
*
*   SCCID  = "1.1    1/26/86"; 
*)

EXPORT QUALIFIED
    ReadInt,  ReadCard,  ReadNum,
    WriteInt, WriteCard, WriteNum;


PROCEDURE ReadInt (     file    : File;
                    VAR int     : INTEGER;
                    VAR success : BOOLEAN;
                    VAR state   : FileState);

PROCEDURE ReadCard (    file    : File;
                    VAR card    : CARDINAL;
                    VAR success : BOOLEAN;
                    VAR state   : FileState);

PROCEDURE ReadNum    (  file    : File;
                    VAR num     : CARDINAL;
                        base    : CARDINAL (* [2..36] *);
                    VAR success : BOOLEAN;
                    VAR state   : FileState);

PROCEDURE WriteInt (    file    : File;
                        int     : INTEGER;
                        width   : CARDINAL;
                    VAR state   : FileState);

PROCEDURE WriteCard (   file    : File;
                        card    : CARDINAL;
                        width   : CARDINAL;
                    VAR state   : FileState);

PROCEDURE WriteNum (    file    : File;
                        num     : CARDINAL;
                        base    : CARDINAL (* [2..36] *);
                        width   : CARDINAL;
                    VAR state   : FileState);

END NumberIO.
